00080	DEC 4 --ADD PAR.NEW
00090	OCT19 IS PROVE2.NEW+PROVE.MESS+SETQUERY.NEW(ADD OUTIT)+INCLAUSES.NEW
00100	OCT 18 IS PROVE1.NEW+AXIOM.LSP(ADD APPENDIT UP1B)+PROVE.MES
00200	OC1 17 IS PROVE1.NEW+AXIOM.NEW(ADD APPENDIT)
00300	OCT 16 IS PROVE2+AXIOM.LSP+CLAUSES.LSP[BNF,JRA]+H.S.BELOW
00400	OCT 13 IS PROVE2.NEW+FIXES.LSP WITH LANUAGE AS FIX.LSP+COMMAND.BNF+EDIT1.BNF
00500	+IVAR.NEW AND SEE DIR ON BNF,JRA
00600	+INFIX.BNF
00700	OCT 11 IS PROVE2+INPUT.LSP
00800	OCT 6 IS PROVE2.NEW+INPUT.NEW+PRFPR.LSP+NEGATE+MATCH.NEW+FIX.LSP+STRATE.NEW
00900	
01000	OCT 5 ISPROVE2.NEW+INPUT.NEW(ADD MAPIT)+FIX.LSP+COMMAND.LSP+EDIT.LSP+SDIOMA+SDIO.LSP
01100	OCT 4 IS PROVE2.NEW FOR NEW INPUT
01200	SEP 28 IS PROVE1.NEW + AUTO.NEW WITH LANG.NEW
01300	SEP 22 IS PROVE2.NEW +SUBSUM.NEW+INITIALAX.NEW
01400	+SAVE.NEW+ANS1.NEW+UPDATE.NEW+TERMS2.NEW
01500	
01600	
01700	
01800	NEW CHOICE TRY.NEW+UPDATE.CHO+CHOICE.NEW
01900	SEP 13 IS PROVE1.NEW+TERMS.NEW(ADD TERMS2)
02000	+UPDATE.NEW+ATTEMPT.NEW+SETQUE.NEW+UNION.NEW+TRY1.NEW(ADD INITIALAX1)
02100	+UNITRED.NEW(ADD UNITRES UNITREDUCT UNITPN)(FLUSH TRIVDED)
02200	    F4.NEW TO CHANGE PRECEDENCE IN LANG.LSP
02300